///|
pub fn f() -> @p.M {
  @p.M(42)
}
